Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002A56 | Juan Quemada [Espagne] | Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research |
| 005769 | Juan Quemada [Espagne] ; Tomas De Miguel [Espagne] ; Arturo Azcorra [Espagne] ; Santiago Pavon [Espagne] ; Joaquin Salvachua [Espagne] ; Manuel Petit [Espagne] ; David Larrabeiti [Espagne] ; Tomas Robles [Espagne] ; Gabriel Huecas [Espagne] | ISABEL: A CSCW application for the distribution of events |
| 006491 | Juan Quemada [Espagne] | On tools for FDTs |
| 007075 | Juan Quemada [Espagne] ; Santiago Pav N [Espagne] ; Angel Fernández [Espagne] | State exploration by transformation with lola |
| This area was generated with Dilib version V0.6.31. |  |